翻訳と辞書 Words near each other ・ Monohorgonj Upazila ・ Monohull ・ Monohybrid cross ・ Monohydrocalcite ・ Monohydroxybenzoic acid ・ Monoi oil ・ Monoi Station ・ Monoica ・ Monoicomyces ・ Monoicous ・ Monoid ・ Monoid (category theory) ・ Monoid factorisation ・ Monoid ring ・ Monoidal adjunction ・ Monoidal category ・ Monoidal category action ・ Monoidal functor ・ Monoidal monad ・ Monoidal natural transformation ・ Monoidal t-norm logic ・ Monoimus ・ Monoiodotyrosine ・ Monoisotopic ・ Monoisotopic element ・ Monoisotopic mass ・ Monojapyx ・ Monok ・ Monokaryon ・ Monokine Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Monoidal category ： ウィキペディア英語版 Monoidal category In mathematics, a monoidal category (or tensor category) is a category C equipped with a bifunctor :⊗ : C × C → C which is associative up to a natural isomorphism, and an object ''I'' which is both a left and right identity for ⊗, again up to a natural isomorphism. The associated natural isomorphisms are subject to certain coherence conditions which ensure that all the relevant diagrams commute. In a monoidal category, analogs of usual monoids from abstract algebra can be defined using the same commutative diagrams. In fact, usual monoids are exactly the monoid objects in the monoidal category of sets with Cartesian product. The ordinary tensor product makes vector spaces, abelian groups, ''R''-modules, or ''R''-algebras into monoidal categories. Monoidal categories can be seen as a generalization of these and other examples. In category theory, monoidal categories can be used to define the concept of a monoid object and an associated action on the objects of the category. They are also used in the definition of an enriched category. Monoidal categories have numerous applications outside of category theory proper. They are used to define models for the multiplicative fragment of intuitionistic linear logic. They also form the mathematical foundation for the topological order in condensed matter. Braided monoidal categories have applications in quantum field theory and string theory. ==Formal definition== A monoidal category is a category $\backslash mathbf\; C$ equipped with *a bifunctor $\backslash otimes\; \backslash colon\; \backslash mathbf\; C\backslash times\backslash mathbf\; C\backslash to\backslash mathbf\; C$ called the ''tensor product'' or ''monoidal product'', *an object $I$ called the ''unit object'' or ''identity object'', *three natural isomorphisms subject to certain coherence conditions expressing the fact that the tensor operation * *is associative: there is a natural (in each of three arguments $A$, $B$, $C$) isomorphism $\backslash alpha$, called ''associator'', with components $\backslash alpha\_\; \backslash colon\; (A\backslash otimes\; B)\backslash otimes\; C\; \backslash cong\; A\backslash otimes(B\backslash otimes\; C)$, * *has $I$ as left and right identity: there are two natural isomorphisms $\backslash lambda$ and $\backslash rho$, respectively called ''left'' and ''right unitor'', with components $\backslash lambda\_A\; \backslash colon\; I\backslash otimes\; A\backslash cong\; A$ and $\backslash rho\_A\; \backslash colon\; A\backslash otimes\; I\backslash cong\; A$. : The coherence conditions for these natural transformations are: * for all $A$, $B$, $C$ and $D$ in $\backslash mathbf\; C$, the pentagon diagram :: : commutes; * for all $A$ and $B$ in $\backslash mathbf\; C$, the triangle diagram :: : commutes; It follows from these three conditions that ''a large class'' of such diagrams (i.e. diagrams whose morphisms are built using $\backslash alpha$, $\backslash lambda$, $\backslash rho$, identities and tensor product) commute: this is Mac Lane's "coherence theorem". It is sometimes inaccurately stated that ''all'' such diagrams commute. A strict monoidal category is one for which the natural isomorphisms α, λ and ρ are identities. Every monoidal category is monoidally equivalent to a strict monoidal category. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Monoidal category」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.